BibSLEIGH — programming language tag

programming language

programming language

Tag #programming language

434 papers:

POPL-2020-AbadiP: A simple differentiable programming language (MA, GDP), p. 28.
FSCD-2019-Yang #probability #semantics: Some Semantic Issues in Probabilistic Programming Languages (Invited Talk) (HY), p. 6.
ICFP-2019-VezzosiM0 #induction: Cubical agda: a dependently typed programming language with univalence and higher inductive types (AV, AM, AA0), p. 29.
Onward-2019-BasuFG: Property conveyances as a programming language (SB, NF, JG), pp. 128–142.
Onward-2019-Smaragdakis #question #what: Next-paradigm programming languages: what will they look like and what changes will they bring? (YS), pp. 187–197.
PLATEAU-2019-KambhatlaCOSAM #case study #safety #usability: A Pilot Study of the Safety and Usability of the Obsidian Blockchain Programming Language (GK, MJC, RO, JS, JA, BAM), p. 11.
POPL-2019-PodkopaevLV #hardware #memory management #modelling: Bridging the gap between programming languages and hardware weak memory models (AP, OL, VV), p. 31.
QAPL-2019-Aldini #aspect-oriented: Quantitative Aspects of Programming Languages and Systems over the past $2^4$ years and beyond (AA), pp. 1–19.
SLE-2019-IzquierdoC #analysis #modelling: Analysis and modeling of the governance in general programming languages (JLCI, JC), pp. 179–183.
ICPC-2018-OttAHBAFL #learning #network #using: Learning lexical features of programming languages from imagery using convolutional neural networks (JO, AA, PH, NB, HA, CF, EL), pp. 336–339.
MSR-2018-GeorgiouKLS #energy #question #what: What are your programming language's energy-delay implications? (SG, MK, PL, DS), pp. 303–313.
FSCD-2018-Selinger #challenge #quantum: Challenges in Quantum Programming Languages (Invited Talk) (PS), p. 2.
Onward-2018-CoblenzAMS #design: Interdisciplinary programming language design (MJC, JA, BAM, JS), pp. 133–146.
OOPSLA-2018-MeierRG #design #parallel #virtual machine: Virtual machine design for parallel dynamic programming languages (RM, AR, TRG), p. 25.
POPL-2018-0002JKD #named #rust: RustBelt: securing the foundations of the rust programming language (RJ0, JHJ, RK, DD), p. 34.
PPDP-2018-Schmidt-Schauss #concurrent #functional #parallel: Sequential and Parallel Improvements in a Concurrent Functional Programming Language (MSS, DS, ND), p. 13.
ESEC-FSE-2018-Meijer #concept #framework #learning: Behind every great deep learning framework is an even greater programming languages concept (keynote) (EM0), p. 1.
SEFM-2017-FachiniM #validation: Validating the Meta-Theory of Programming Languages (Short Paper) (GF, AM), pp. 367–374.
ECOOP-2017-ZhangO #framework #named #reuse #visitor: EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse (WZ, BCdSO), p. 32.
Onward-2017-Chamberlain #design: Assessing user preferences in programming language design (RDC), pp. 18–29.
Onward-2017-HallSH #named #visual notation: Infra: structure all the way down: structured data as a visual programming language (CH0, TS, TH), pp. 180–197.
Onward-2017-Kaijanaho #concept analysis #research: Concept analysis in programming language research: done well it is all right (AJK), pp. 246–259.
Onward-2017-Steimann #dependence #design #implementation: Replacing phrase structure grammar with dependency grammar in the design and implementation of programming languages (FS), pp. 30–43.
QAPL-2017-WiklickyV #aspect-oriented: Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL@ETAPS 2017, Uppsala, Sweden, 23rd April 2017.
SLE-2017-Pereira0RRCFS #energy #how #memory management #performance #question: Energy efficiency across programming languages: how do energy, time, and memory relate? (RP, MC, FR, RR, JC, JPF, JS), pp. 256–267.
SANER-2016-KochharWL #case study #multi #quality #scalability: A Large Scale Study of Multiple Programming Languages and Code Quality (PSK, DW, DL0), pp. 563–573.
SANER-2016-ReboucasPETSC #empirical: An Empirical Study on the Usage of the Swift Programming Language (MR, GP0, FE, WT, AS, FC), pp. 634–638.
SKY-2016-ExmanS #natural language #performance #reliability: Fast and Reliable Software Translation of Programming Languages to Natural Language (IE, OS), pp. 57–64.
Onward-2016-ReinHT #development #named: Gramada: immediacy in programming language development (PR, RH, MT), pp. 165–179.
PLATEAU-2016-Ko #question #what: What is a programming language, really? (AJK0), pp. 32–33.
PLATEAU-2016-KurtevCT #evaluation: Discount method for programming language evaluation (SK, TAC, BT), pp. 1–8.
AdaEurope-2016-Burns #ada #physics #power of #why: Why the Expressive Power of Programming Languages Such as Ada Is Needed for Future Cyber Physical Systems (AB), pp. 3–11.
POPL-2016-Walker #research: Confluences in programming languages research (keynote) (DW), p. 4.
QAPL-2016-TribastoneW #aspect-oriented: Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL 2016, Eindhoven, The Netherlands, April 2-3, 2016.
ASE-2016-ChenX #automation #library #named #recommendation: SimilarTech: automatically recommend analogical libraries across different programming languages (CC, ZX), pp. 834–839.
ESOP-2016-HuangM #probability #semantics: An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages (DH0, GM), pp. 337–363.
GaM-2015-BakFPR #graph #interpreter: A Reference Interpreter for the Graph Programming Language GP 2 (CB, GF, DP, CR), pp. 48–64.
SEKE-2015-WuCZX15a #case study #comparative #object-oriented: A metrics-based comparative study on object-oriented programming languages (DW, LC, YZ, BX), pp. 272–277.
OOPSLA-2015-FelgentreffMBH #constraints #theorem proving: Checks and balances: constraint solving without surprises in object-constraint programming languages (TF, TDM, AB, RH), pp. 767–782.
PLATEAU-2015-RazaliNM #precedence: Operators and precedence in programming languages (NR, JN0, SM), pp. 53–56.
POPL-2015-Staton #algebra #quantum: Algebraic Effects, Linearity, and Quantum Programming Languages (SS), pp. 395–406.
ESEC-FSE-2015-Jain #automation #generative: Automated generation of programming language quizzes (SJ), pp. 1051–1053.
GTTSE-2015-Hanenberg #empirical #evaluation: Empirical, Human-Centered Evaluation of Programming and Programming Language Constructs: Controlled Experiments (SH), pp. 45–72.
ICSE-v1-2015-NanzF #case study #comparative: A Comparative Study of Programming Languages in Rosetta Code (SN, CAF), pp. 778–788.
GPCE-2015-FlorenceFFTKWNY #named: POP-PL: a patient-oriented prescription programming language (SPF, BF, MF, WHT, TK, DPW, CN, PRY, RBF, SMB), pp. 131–140.
ESOP-2015-BattyMNPS #concurrent #problem #semantics: The Problem of Programming Language Concurrency Semantics (MB, KM, KN, JPP, PS), pp. 283–307.
SIGITE-2014-TsangGA #java #learning #question #student: The practical application of LEGO® MINDSTORMS® robotics kits: does it enhance undergraduate computing students’ engagement in learning the Java programming language? (ET, CG, MA), pp. 121–126.
TFPIE-2014-Winter #authentication #functional #named: Bricklayer: An Authentic Introduction to the Functional Programming Language SML (VLW), pp. 33–49.
ICPC-2014-StefikHMAYS #design #empirical #what: What is the Foundation of Evidence of Human Factors Decisions in Language Design? An Empirical Study on Programming Language Workshops (AS, SH, MM, AAA, SKY, SS), pp. 223–231.
RTA-TLCA-2014-Schmidt-Schauss #analysis #concurrent #semantics: Concurrent Programming Languages and Methods for Semantic Analyses (MSS), pp. 21–30.
VISSOFT-2014-Noble: Livecoding the SynthKit: Little Bits as an Embodied Programming Language (JN), pp. 40–44.
ICML-c2-2014-PaigeW #compilation #probability: A Compilation Target for Probabilistic Programming Languages (BP, FW), pp. 1935–1943.
MLDM-2014-KhasnabishSDS #detection #learning #source code #using: Detecting Programming Language from Source Code Using Bayesian Learning Techniques (JNK, MS, JD, GS), pp. 513–522.
Onward-2014-Conversy #visual notation: Unifying Textual and Visual: A Theoretical Account of the Visual Perception of Programming Languages (SC), pp. 201–212.
Onward-2014-KaraivanovRV #statistics: Phrase-Based Statistical Translation of Programming Languages (SK, VR, MTV), pp. 173–184.
Onward-2014-Skene #logic: Description Logic as Programming Language (JS), pp. 143–162.
Onward-2014-StefikH #community: The Programming Language Wars: Questions and Responsibilities for the Programming Language Community (AS, SH), pp. 283–299.
OOPSLA-2014-HolkNSL #data type #gpu #memory management: Region-based memory management for GPU programming languages: enabling rich data structures on a spartan host (EH, RN, JGS, AL), pp. 141–155.
PLATEAU-2014-KoitzS #comparison #education #empirical #hybrid #visual notation: Empirical Comparison of Visual to Hybrid Formula Manipulation in Educational Programming Languages for Teenagers (RK, WS), pp. 21–30.
PLATEAU-2014-KurilovaPA #design #named #security: Wyvern: Impacting Software Security via Programming Language Design (DK, AP, JA), pp. 57–58.
AdaEurope-2014-PedroPPP #ada #framework #runtime #towards #verification: Towards a Runtime Verification Framework for the Ada Programming Language (AdMP, DP, LMP, JSP), pp. 58–73.
HILT-2014-BocchinoGGS #named: Spot: a programming language for verified flight software (RLB, EG, KPG, RRS), pp. 97–102.
PADL-2014-LakinP #compilation #functional #using: Compiling DNA Strand Displacement Reactions Using a Functional Programming Language (MRL, AP), pp. 81–86.
PLDI-2014-StorkNSMFMA #approach #named: Æminium: a permission based concurrent-by-default programming language approach (SS, KN, JS, MM, AF, PM, JA), p. 4.
POPL-2014-GordonGRRBG #named #probability: Tabular: a schema-driven probabilistic programming language (ADG, TG, NR, CVR, JB, JG), pp. 321–334.
FSE-2014-RayPFD #case study #git #quality #scalability: A large scale study of programming languages and code quality in github (BR, DP, VF, PTD), pp. 155–165.
SLE-2014-KuhnLGSA #metamodelling #modelling #product line: A Metamodel Family for Role-Based Modeling and Programming Languages (TK, ML, SG, CS, UA), pp. 141–160.
ICLP-J-2014-CruzRGP #concurrent #graph #linear #logic programming: A Linear Logic Programming Language for Concurrent Programming over Graph Structures (FC, RR, SCG, FP), pp. 493–507.
CSEET-2013-NobleHBB #design #education #question #re-engineering: Designing Grace: Can an introductory programming language support the teaching of software engineering? (JN, MH, KBB, APB), pp. 219–228.
ITiCSE-2013-Alshaigy #development #education #interactive #learning #python: Development of an interactive learning tool to teach python programming language (BA), p. 344.
CEFP-2013-Brady #dependent type #domain-specific language #embedded #implementation: The Idris Programming Language — Implementing Embedded Domain Specific Languages with Dependent Types (EB), pp. 115–186.
VISSOFT-2013-HomerN #editing: A tile-based editor for a textual programming language (MH, JN), pp. 1–4.
SEKE-2013-SakamotoWF #design pattern #object-oriented: Extended Design Patterns in New Object-Oriented Programming Languages (KS, HW, YF), pp. 600–605.
OOPSLA-2013-MeyerovichR #analysis #empirical: Empirical analysis of programming language adoption (LAM, ASR), pp. 1–18.
PLDI-2013-GreenLRSV #named #quantum #scalability: Quipper: a scalable quantum programming language (ASG, PLL, NJR, PS, BV), pp. 333–342.
PLDI-2013-Schneider #security: Programming languages in security: keynote (FBS), pp. 139–140.
POPL-2013-Krishnamurthi: From principles to programming languages (and back) (SK), pp. 233–234.
POPL-2013-StatonL: Universal properties of impure programming languages (SS, PBL), pp. 179–192.
SAC-2013-HongJ #named #network #object-oriented: Meso: an object-oriented programming language for building strongly-typed internet-based network applications (SH, YJJ), pp. 1579–1586.
GPCE-2013-Bodik #biology #modelling: Modeling biology with solver-aided programming languages (RB), pp. 1–2.
SLE-2013-VasudevanT #ambiguity #detection: Detecting Ambiguity in Programming Language Grammars (NV, LT), pp. 157–176.
ICST-2013-SakamotoSTWF #framework #metric #multi #named #test coverage #tool support: OCCF: A Framework for Developing Test Coverage Measurement Tools Supporting Multiple Programming Languages (KS, KS, RT, HW, YF), pp. 422–430.
WCRE-2012-Al-OmariKRR #detection #dot-net: Detecting Clones Across Microsoft .NET Programming Languages (FAO, IK, CKR, JR), pp. 405–414.
FLOPS-2012-RoseVS #data flow #hybrid #query: A Data Flow Language for Hybrid Query and Programming Languages (KHR, LV, NS), pp. 228–242.
ICGT-2012-Ong #graph transformation #multi #rule-based #using: Multi-scale Rule-Based Graph Transformation Using the Programming Language XL (YO), pp. 417–419.
SEKE-2012-HumairaSOWF #framework #metric #multi #source code #towards: Towards a Unified Source Code Measurement Framework Supporting Multiple Programming Languages (RH, KS, AO, HW, YF), pp. 480–485.
Onward-2012-Gabriel: The structure of a programming language revolution (RPG), pp. 195–214.
Onward-2012-Heinlein #composition #named #static typing: MOST-flexiPL: modular, statically typed, flexibly extensible programming language (CH), pp. 159–178.
Onward-2012-MeyerovichR #named: Socio-PLT: principles for programming language adoption (LAM, ASR), pp. 39–54.
PLATEAU-2012-SpinellisKL #comparative #testing: Comparative language fuzz testing: programming languages vs. fat fingers (DS, VK, PL), pp. 25–34.
PLATEAU-2012-UrmaM #evolution #query #source code: Programming language evolution via source code query languages (RGU, AM), pp. 35–38.
AdaEurope-2012-Tempelmeier #ada #concept #education: Teaching “Concepts of Programming Languages” with Ada (TT), pp. 60–74.
HILT-2012-Steele #lifecycle: Programming language life cycles (GLSJ), pp. 95–96.
POPL-2012-MonsantoFHW #compilation #network #runtime: A compiler and run-time system for network programming languages (CM, NF, RH, DW), pp. 217–230.
POPL-2012-Rexford #network #programmable: Programming languages for programmable networks (JR), pp. 215–216.
LDTA-2012-Voigtlander #bidirectional: Programming language approaches to bidirectional transformation (JV), p. 1.
ICST-2012-GligoricMM #model checking #named: X10X: Model Checking a New Programming Language with an “Old” Model Checker (MG, PCM, DM), pp. 11–20.
SIGITE-2011-Federici #c #implementation: A minimal, extensible, drag-and-drop implementation of the C programming language (SF), pp. 191–196.
ICPC-J-2009-StefikG11 #empirical: Empirical studies on programming language stimuli (AS, EG), pp. 65–99.
ICPC-2011-StefikSSS #towards: Toward Intuitive Programming Languages (AS, SS, KS, MS), pp. 213–214.
MSR-2011-CallauRTR #developer #how #smalltalk: How developers use the dynamic features of programming languages: the case of smalltalk (OC, RR, ÉT, DR), pp. 23–32.
Haskell-2011-WestbrookFB #encoding #functional #haskell #higher-order #library: Hobbits for Haskell: a library for higher-order encodings in functional programming languages (EMW, NF, PB), pp. 35–46.
ICFP-2011-FosterHFMRSW #named #network: Frenetic: a network programming language (NF, RH, MJF, CM, JR, AS, DW), pp. 279–291.
ICFP-2011-OhoriU #database #ml #standard: Making standard ML a practical database programming language (AO, KU), pp. 307–319.
BX-2011-Glueck: Principles of Reversible Programming Languages (RG), p. 50.
BX-2011-Yokoyama: A reversible programming language (TY), p. 65.
Onward-2011-AnslowMM #evaluation #tool support #usability: Evaluation and usability of programming languages and tools: (PLATEAU) (CA, SM, ERMH), pp. 119–120.
Onward-2011-Derk #perspective #what: What makes a programming language popular?: an essay from a historical perspective (MD), pp. 163–166.
Onward-2011-Orchard #design: The four Rs of programming language design (DAO), pp. 157–162.
PLATEAU-2011-SadowskiK #case study #evaluation #heuristic #parallel: Heuristic evaluation of programming language features: two parallel programming case studies (CS, SK), pp. 9–14.
PLATEAU-2011-StefikSSS #comparison #empirical #perl #using: An empirical comparison of the accuracy rates of novices using the quorum, perl, and randomo programming languages (AS, SS, MS, KS), pp. 3–8.
AdaEurope-2011-Burns #hardware #parallel #realtime: Programming Languages for Real-Time Applications Executing on Parallel Hardware (AB), pp. 193–195.
AdaEurope-2011-Ploedereder #manycore: Programming Languages Meet Multicore (EP), pp. 189–192.
POPL-2011-MacLaurin #design #visual notation: The design of kodu: a tiny visual programming language for children on the Xbox 360 (MM), pp. 241–246.
ICSE-2011-AldrichGHMNSSSTW: Permission-based programming languages (JA, RG, MH, MM, KN, DS, SS, JS, ÉT, RW), pp. 828–831.
ICSE-2011-BhattacharyaN #c #c++ #case study #development #maintenance: Assessing programming language impact on development and maintenance: a study on c and c++ (PB, IN), pp. 171–180.
SAC-2011-HauptPH #approach #type system: Type harvesting: a practical approach to obtaining typing information in dynamic programming languages (MH, MP, RH), pp. 1282–1289.
SLE-2011-KaminskiW #attribute grammar #functional: Integrating Attribute Grammar and Functional Programming Language Features (TK, EVW), pp. 263–282.
CC-2011-Axelsen #imperative: Clean Translation of an Imperative Reversible Programming Language (HBA), pp. 144–163.
FoSSaCS-2011-Hoshino #functional #linear: A Modified GoI Interpretation for a Linear Functional Programming Language and Its Adequacy (NH), pp. 320–334.
ECDL-2010-MaurizioO #named #query: Manuzio: A Model for Digital Annotated Text and Its Query/Programming Language (MM, RO), pp. 478–481.
SIGITE-2010-Kaplan: Choosing a first programming language (RMK), pp. 163–164.
LATA-2010-HemmerlingSK #difference #equation #network #process #specification: A Programming Language Tailored to the Specification and Solution of Differential Equations Describing Processes on Networks (RH, KS, WK), pp. 297–308.
ICFP-2010-CrestaniS #case study #experience #student: Experience report: growing programming languages for beginning students (MC, MS), pp. 229–234.
CHI-2010-TarkanSDGBWA #design #named: Toque: designing a cooking-based programming language for and with children (ST, VS, AD, EG, EMB, GW, ZA), pp. 2417–2426.
PLDI-2010-MarinoSMMN #concurrent #memory management #named #performance: DRFX: a simple and efficient memory model for concurrent programming languages (DM, AS, TDM, MM, SN), pp. 351–362.
ICSE-2010-Badreddin #named: Umple: a model-oriented programming language (OBB), pp. 337–338.
SAC-2010-ReisS #constant: General constant expressions for system programming languages (GDR, BS), pp. 2131–2136.
WRLA-2010-SerbanutaR #named #semantics: K-Maude: A Rewriting Based Tool for Semantics of Programming Languages (TFS, GR), pp. 104–122.
ICLP-2010-Martinez10 #concurrent #constraints #design #implementation #linear #logic programming: Design and Implementation of a Concurrent Logic Programming Language with Linear Logic Constraints (TM), pp. 277–280.
LICS-2010-Laird #game studies #polymorphism #semantics: Game Semantics for a Polymorphic Programming Language (JL), pp. 41–49.
SIGMOD-2009-IsardY #distributed #using: Distributed data-parallel computing using a high-level programming language (MI, YY), pp. 987–994.
ITiCSE-2009-MiuraSK #concept #interactive #object-oriented: Anchor garden: an interactive workbenchfor basic data concept learningin object oriented programming languages (MM, TS, SK), pp. 141–145.
ICFP-2009-Pierce #education #proving #using: λ, the ultimate TA: using a proof assistant to teach programming language foundations (BCP), pp. 121–122.
CHI-2009-HornSCJ #education #using #visual notation: Comparing the use of tangible and graphical programming languages for informal science education (MSH, ETS, RJC, RJKJ), pp. 975–984.
OOPSLA-2009-MeyerovichGBCGBK #ajax #named: Flapjax: a programming language for Ajax applications (LAM, AG, JPB, GHC, MG, AB, SK), pp. 1–20.
OOPSLA-2009-OverbeyJ #refactoring #tool support: Regrowing a language: refactoring tools allow programming languages to evolve (JLO, REJ), pp. 493–502.
AdaEurope-2009-ZoviV #requirements: Requirements on the Target Programming Language for High-Integrity MDE (AZ, TV), pp. 1–15.
SIGAda-2009-TardieuP #ada: Complementing Ada with other programming languages (ST, AP), pp. 105–114.
ESOP-2009-Eber #contract #design #question #specification #tool support #what: The Financial Crisis, a Lack of Contract Specification Tools: What Can Finance Learn from Programming Language Design? (JME), pp. 205–206.
ESOP-2009-Reynolds #category theory #design #using: Using Category Theory to Design Programming Languages (JCR), pp. 62–63.
ITiCSE-2008-SandersL #python #student: Students’ perceptions of python as a first programming language at wits (IDS, SL), p. 365.
ICFP-2008-Danvy: Defunctionalized interpreters for programming languages (OD), pp. 131–142.
ICFP-2008-JiaVMZZSZ #named: AURA: a programming language for authorization and audit (LJ, JAV, KM, JZ, LZ, JS, SZ), pp. 27–38.
GT-VMT-2008-HassanMS #design #implementation #interactive: Interaction nets: programming language design and implementation (AH, IM, SS).
SEKE-2008-PatroneR #bound #logic: Sharing Application Logic Across Programming Language Boundaries (DSP, BR), pp. 227–231.
BX-2008-Glueck1: Reversible Programming Languages (RG), p. 35.
OOPSLA-2008-SimpkinsBIM #adaptation #learning #towards: Towards adaptive programming: integrating reinforcement learning into a programming language (CS, SB, CLIJ, MM), pp. 603–614.
PEPM-2008-JancuraP #framework #ide #integration: Generic framework for integration of programming languages into netbeans ide (JJ, DP), pp. 123–124.
PPDP-2008-PaoliniP #linear #semantics: Semantically linear programming languages (LP, MP), pp. 97–107.
SIGAda-2008-Doran #ada #development #embedded #named #realtime: Anima: a Ada derived programming language for real-time embedded software development (SD), pp. 121–132.
ASPLOS-2008-DeviettiBMZ #architecture #bound #c #named #safety: Hardbound: architectural support for spatial safety of the C programming language (JD, CB, MMKM, SZ), pp. 103–114.
FoSSaCS-2008-BarrasB #calculus #dependent type: The Implicit Calculus of Constructions as a Programming Language with Dependent Types (BB, BB), pp. 365–379.
VMCAI-2008-Pistoia #program analysis #security: Program Analysis and Programming Languages for Security (MP), p. 7.
TLCA-2007-LiptonN #constraints #higher-order #logic programming #semantics: Higher-Order Logic Programming Languages with Constraints: A Semantics (JL, SN), pp. 272–289.
ICFP-2007-FredlundS #distributed #functional #model checking #named: McErlang: a model checker for a distributed functional programming language (LÅF, HS), pp. 125–136.
AGTIVE-2007-KniemeyerK #framework #modelling #platform: The Modelling Platform GroIMP and the Programming Language XL (OK, WK), pp. 570–572.
OOPSLA-2007-McDirmid #live programming: Living it up with a live programming language (SM), pp. 623–638.
OOPSLA-2007-Meijer: Confessions of a used programming language salesman (EM), pp. 677–694.
TOOLS-EUROPE-2007-LeitnerEOC: Reflecting on an Existing Programming Language (AL, PTE, MO, IC), pp. 319–339.
PEPM-2007-YokoyamaG #self: A reversible programming language and its invertible self-interpreter (TY, RG), pp. 144–153.
POPL-2007-Murthy #design #enterprise #λ-calculus: Advanced programming language design in enterprise software: a λ-calculus theorist wanders into a datacenter (CM), pp. 263–264.
SAS-2007-Mycroft #analysis #design #evolution #hardware #motivation: Programming Language Design and Analysis Motivated by Hardware Evolution (AM), pp. 18–33.
WRLA-2006-FarzanM07 #partial order #reduction #semantics: Partial Order Reduction for Rewriting Semantics of Programming Languages (AF, JM), pp. 61–78.
ICLP-2007-West #animation #logic programming #specification #using: The Use of a Logic Programming Language in the Animation of Z Specifications (MMW), pp. 451–452.
ITiCSE-2006-AdamsBBELS #education: Approaches to teaching the programming languages course: a potpourri (ESA, DB, JB, JE, PBL, DS), pp. 299–300.
WCRE-2006-Ribic #concept #decompiler #embedded #equivalence #execution #implementation: Concept and implementation of the programming language and translator, for embedded systems, based on machine code decompilation and equivalence between source and executable code (SR), pp. 307–308.
RTA-2006-GieslSST #analysis #automation #haskell #term rewriting #termination: Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages (JG, SS, PSK, RT), pp. 297–312.
SOFTVIS-2006-GauvinB #automation #data flow #layout #visual notation: Transparency, holophrasting, and automatic layout applied to control structures for visual dataflow programming languages (SG, OB), pp. 67–75.
SEKE-2006-ChenLC: Supporting Connector in Programming Language (BC, ZL, HC), pp. 369–374.
PLDI-2006-CarlstromMCCMKO #transaction: The Atomos transactional programming language (BDC, AM, HC, JC, CCM, CEK, KO), pp. 1–13.
POPL-2006-Sweeney #developer #game studies #perspective: The next mainstream programming language: a game developer’s perspective (TS), p. 269.
ASE-2006-PaarT #data type #owl #xml: Programming Language Inherent Support for Constrained XML Schema Definition Data Types and OWL DL (AP, WFT), pp. 281–284.
SAC-2006-BaldoniBT #java #named #object-oriented: powerJava: ontologically founded roles in object oriented programming languages (MB, GB, LWNvdT), pp. 1414–1418.
LDTA-J-2004-BegelG #algorithm #ambiguity #named: XGLR — an algorithm for ambiguity in programming languages (AB, SLG), pp. 211–227.
FASE-2006-CooneyDR #implementation #named: GPSL: A Programming Language for Service Implementation (DC, MD, PR), pp. 3–17.
ICLP-2006-Phan #logic programming #memory management: Static Memory Management for Logic Programming Languages (QP), pp. 465–466.
ICLP-2006-SilvaC #compilation #design #implementation #logic programming #optimisation: The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages (AFdS, VSC), pp. 461–462.
ITiCSE-2005-Kumar05a: Projects in the programming languages course (ANK), p. 395.
ITiCSE-2005-Velazquez-Iturbide: A programming languages course for freshmen (JÁVI), pp. 271–275.
ICFP-2005-DantasWWW #aspect-oriented #functional #named #polymorphism: Poly_AML: a polymorphic aspect-oriented functional programming language (DSD, DW, GW, SW), pp. 306–319.
ICFP-2005-Harper: Mechanizing the meta-theory of programming languages (RH), p. 240.
ICFP-2005-SewellLWNAHV #design #distributed #named: Acute: high-level programming language design for distributed computation (PS, JJL, KW, FZN, MAW, PH, VV), pp. 15–26.
LDTA-2005-SloaneW #eclipse #education #eli #using: Eclipse Support for Using Eli and Teaching Programming Languages (AMS, WMW), pp. 189–194.
ICLP-2005-BortolussiW #concurrent #constraints #distributed #probability: A Distributed and Probabilistic Concurrent Constraint Programming Language (LB, HW), pp. 143–158.
ICLP-2005-ChristiansenD #abduction #logic programming #named #prolog: HYPROLOG: A New Logic Programming Language with Assumptions and Abduction (HC, VD), pp. 159–173.
ICLP-2005-Nogueira #information management: A Temporal Programming Language for Heterogeneous Information Systems (VN), pp. 444–445.
LICS-2005-AltenkirchG #functional #quantum: A Functional Quantum Programming Language (TA, JG), pp. 249–258.
LICS-2005-EscardoK: Operational Domain Theory and Topology of a Sequential Programming Language (MHE, WKH), pp. 427–436.
FLOPS-2004-Selinger #overview #quantum: A Brief Survey of Quantum Programming Languages (PS), pp. 1–6.
ICEIS-v4-2004-VoG #information management: Agent Programming Language with Incomplete Knowledge — Agentspeak(I) (DV, AG), pp. 356–363.
OOPSLA-2004-BrachaU #design #named #object-oriented: Mirrors: design principles for meta-level facilities of object-oriented programming languages (GB, DU), pp. 331–344.
PPDP-2004-GrecoGSS #datalog #logic programming #multi #reasoning: Event choice datalog: a logic programming language for reasoning in multiple dimensions (GG, AG, DS, FS), pp. 238–249.
SAC-2004-Bracha #towards: Keynote address: towards secure systems programming languages (GB), pp. 1–2.
SAC-2004-TorgersenHEABG #java: Adding wildcards to the Java programming language (MT, CPH, EE, PvdA, GB, NMG), pp. 1289–1296.
SAC-PL-J-2004-TorgersenEHABG #java: Adding Wildcards to the Java Programming Language (MT, EE, CPH, PvdA, GB, NMG), pp. 97–116.
GPCE-2004-NeverovR #multi #named #object-oriented: Metaphor: A Multi-stage, Object-Oriented Programming Language (GN, PR), pp. 168–185.
LDTA-2004-Cordy #named #tool support #txl: TXL — A Language for Programming Language Tools and Applications (JRC), pp. 3–31.
ICLP-2004-BryPS #evolution #logic programming #query #web: Xcerpt and XChange — Logic Programming Languages for Querying and Evolution on the Web (FB, PLP, SS), pp. 450–451.
ICLP-2004-CheneyU #logic programming #named #prolog: αProlog: A Logic Programming Language with Names, Binding and α-Equivalence (JC, CU), pp. 269–283.
SAC-2003-Huntbach #concurrent: Features of the Concurrent Programming Language Aldwych (MMH), pp. 1048–1054.
LDTA-J-2001-DohM #semantics: Composing programming languages by combining action-semantics modules (KGD, PDM), pp. 3–36.
CC-2003-Ryder #analysis #object-oriented #precise: Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages (BGR), pp. 126–137.
ESOP-2003-Leroy #perspective #security #static analysis: Computer Security from a Programming Language and Static Analysis Perspective (XL), pp. 1–9.
LICS-2003-Pierce #generative: Types and Programming Languages: The Next Generation (BCP), p. 32–?.
ITiCSE-2002-ShahK #parametricity: A tutoring system for parameter passing in programming languages (HS, ANK), pp. 170–174.
SCAM-2002-HarmerW #metric #object-oriented: An Extensible Metrics Extraction Environment for Object-Oriented Programming Languages (TJH, FGW), pp. 26–35.
ICFP-2002-Myers #functional #towards: Towards more natural functional programming languages (BAM), p. 1.
OOPSLA-2002-Dmitriev #java: Language-specific make technology for the Java programming language (MD), pp. 373–385.
TOOLS-USA-2002-Plosch #evaluation #java: Evaluation of Assertion Support for the Java Programming Language (RP), pp. 5–17.
Ada-2002-Thom #ada #exclamation #integration #modelling #standard #uml #using: Conformity! A Practical Integration of Standards — A Case for using the Unified Modelling Language (UML) with the Ada Programming Language (FT), pp. 29–36.
PADL-2002-ShenSNS #eclipse #interface: A High-Level Generic Interface to External Programming Languages for ECLiPSe (KS, JS, SN, JS), pp. 262–279.
PEPM-2002-MeurLC #partial evaluation #towards: Towards bridging the gap between programming languages and partial evaluation (AFLM, JLL, CC), pp. 9–18.
PPDP-2002-NielsenPV #concurrent #constraints #on the #power of: On the expressive power of temporal concurrent constraint programming languages (MN, CP, FDV), pp. 156–167.
SAC-2002-JoA: The Agent-based Programming Language: APL (CHJ, AJA), pp. 27–31.
ASPLOS-2002-KohlerMC #composition #optimisation: Programming language optimizations for modular router configurations (EK, RM, BC), pp. 251–263.
CC-2002-MernikLAZ #development #interactive #named: LISA: An Interactive Environment for Programming Language Development (MM, ML, EA, VZ), pp. 1–4.
ESOP-2002-McGuireKH: Programming Languages for Compressing Graphics (MM, SK, JFH), pp. 68–82.
WRLA-2002-StehrT #maude #network #specification: Plan in Maude: Specifying an Active Network Programming Language (MOS, CLT), pp. 240–260.
FLOPS-2001-LeachN #constraints #higher-order #logic programming: A Higher-Order Logic Programming Language with Constraints (JL, SN), pp. 108–122.
TOOLS-EUROPE-2001-ThorupT #object-oriented: Genericity in Object-Oriented Programming Languages (KKT, MT), pp. 180–181.
TOOLS-USA-2001-Liu #logic programming #named #object-oriented: Pluto: An Object-Oriented Logic Programming Language (ML), pp. 153–163.
POPL-2001-Mitchell #security: Programming language methods in computer security (JCM), pp. 1–3.
LDTA-2001-DohM #semantics: Composing Programming Languages by Combining Action-Semantics Modules (KGD, PDM), pp. 87–109.
ESOP-2001-GraunkeKHF #web: Programming the Web with High-Level Programming Languages (PTG, SK, SVDH, MF), pp. 122–136.
FoSSaCS-2001-HabelP #graph transformation: Computational Completeness of Programming Languages Based on Graph Transformation (AH, DP), pp. 230–245.
ECOOP-2000-Duggan #approach #domain-specific language #mixin #reuse #semantics: A Mixin-Based, Semantics-Based Approach to Reusing Domain-Specific Programming Languages (DD), pp. 179–200.
ECOOP-2000-Madsen #towards: Towards a Unified Programming Language (OLM), pp. 1–26.
SAC-2000-PowerM #approach #c++ #modelling #problem: An Approach for Modeling the Name Lookup Problem in the C++ Programming Language (JFP, BAM), pp. 792–796.
DAC-2000-HutchingsN #design #using: Using general-purpose programming languages for FPGA design (BLH, BEN), pp. 561–566.
PDP-2000-FolinoS #named: CELLAR: a high level cellular programming language with regions (GF, GS), pp. 259–266.
CL-2000-Liang #generative #logic programming #parsing: A Deterministic Shift-Reduce Parser Generator for a Logic Programming Language (CL), pp. 1315–1329.
VLDB-1999-HoskingC #design #implementation #named #orthogonal #performance #persistent: PM3: An Orthogonal Persistent Systems Programming Language — Design, Implementation, Performance (ALH, JC), pp. 587–598.
ICALP-1999-CraryM #low level: Type Structure for Low-Level Programming Languages (KC, JGM), pp. 40–54.
ICFP-1999-FlattFKF #lisp #operating system: Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine) (MF, RBF, SK, MF), pp. 138–147.
ICFP-1999-ZdancewicGM #proving: Principals in Programming Languages: A Syntactic Proof Technique (SZ, DG, JGM), pp. 197–207.
IFL-1999-DidrichGSTT #functional: Reflections in Opal — Meta Information in a Functional Programming Language (KD, WG, FS, TT, BTyW), pp. 149–164.
AGTIVE-1999-RodgersV99a #graph grammar: A Demonstration of the Grrr Graph Rewriting Programming Language (PJR, NV), pp. 473–480.
CHI-1999-BruckmanE #analysis #fault: Should we Leverage Natural-Language Knowledge? An Analysis of User Errors in a Natural-Language-Style Programming Language (AB, EE), pp. 207–214.
TOOLS-USA-1999-Dedene #case study #education #eiffel #experience #student: Experiences Teaching Eiffel as a First Programming Language to Economy Students (GD), pp. 584–592.
TOOLS-USA-1999-Taft #design #quality: Programming Language Design and Software Quality (STT), p. 5.
PPDP-1999-Davila #abduction #logic programming #named: OPENLOG: A Logic Programming Language Based on Abduction (JAD), pp. 278–293.
SIGAda-1999-Tonndorf #ada #question: Ada conformity assessments: a model for other programming languages? (MT), pp. 89–99.
SAC-1999-ArcelliF #flexibility #logic programming #named #retrieval: Likelog: A Logic Programming Language for Flexible Data Retrieval (FAF, FF), pp. 260–267.
CADE-1999-Nipkow #proving #theorem proving: Invited Talk: Embedding Programming Languages in Theorem Provers (TN), p. 398.
CSL-1999-GastinM #concurrent #parallel #semantics: A Truly Concurrent Semantics for a Simple Parallel Programming Language (PG, MWM), pp. 515–529.
CSL-1999-KinoshitaP #call-by: Data-Refinement for Call-By-Value Programming Languages (YK, JP), pp. 562–576.
ICLP-1999-KangT #linear #logic programming #static analysis: A Static Analysis for Classical Linear Logic Programming Language (KSK, NT), p. 610.
ITiCSE-1998-Scoy #using: Using the BURKS 2 CD-ROM in a principles of programming languages course (FLVS), pp. 239–242.
ITiCSE-1998-WardS #javascript #multi #student: JavaScript as a first programming language for multimedia students (RW, MS), pp. 249–253.
AFP-1998-Sheard98 #ml #staged #using: Using MetaML: A Staged Programming Language (TS), pp. 207–239.
FLOPS-1998-AbramovG #approach #semantics #standard: Semantics Modifiers: An Approach to Non-Standard Semantics of Programming Languages (SMA, RG), pp. 247–270.
OOPSLA-1998-BrachaOSW #java: Making the Future Safe for the Past: Adding Genericity to the Java Programming Language (GB, MO, DS, PW), pp. 183–200.
OOPSLA-1998-CartwrightS #java #runtime: Compatible Genericity with Run-Time Types for the Java Programming Language (RC, GLSJ), pp. 201–215.
CC-1998-Burnett #challenge #research #visual notation: Challenges and Oppurtunities Visual Programming Languages Bring to Programming Language Research (MMB), p. 188.
JICSLP-1998-HodasWTK #implementation #linear #logic programming #performance: Efficient Implementation of a Linear Logic Programming Language (JSH, KMW, NT, KSK), pp. 145–159.
FME-1997-AndersonT #diagrams #programmable: Diagrams and Programming Languages for Programmable Controllers (SA, KT), pp. 1–19.
RTA-1997-Ringeissen #algorithm #prototype #rule-based #unification: Prototyping Combination of Unification Algorithms with the ELAN Rule-Based Programming Language (CR), pp. 323–326.
UML-1997-SeemannG #design #named #object-oriented: UMLscript: A Programming Language for Object-Oriented Design (JS, JWvG), pp. 160–169.
ECOOP-1997-BenzakenS #constraints #database #object-oriented: Static Integrity Constraint Management in Object-Oriented Database Programming Languages via Predicate Transformers (VB, XS), pp. 60–84.
AdaEurope-1997-CoolingDC #development #education: Computer Aided Teaching of Programming Languages: An Ada-specific Development (JEC, ND, JC), pp. 35–45.
PLDI-1997-WagnerG #analysis #incremental: Incremental Analysis of real Programming Languages (TAW, SLG), pp. 31–43.
POPL-1997-Godefroid #model checking #using: Model Checking for Programming Languages using Verisoft (PG), pp. 174–186.
POPL-1997-JanssonJ #named: Polyp — A Polytypic Programming Language (PJ, JJ), pp. 470–482.
SAS-1997-IgarashiK #analysis #communication #concurrent #type system: Type-Based Analysis of Communication for Concurrent Programming Languages (AI, NK), pp. 187–201.
PPoPP-1997-TauraY #effectiveness #garbage collection #parallel #scalability: An Effective Garbage Collection Strategy for Parallel Programming Languages on Large Scale Distributed-Memory Machines (KT, AY), pp. 264–275.
TAPSOFT-1997-DidrichK #algebra #documentation: DOSFOP - A Documentation Tool for the Algebraic Programming Language OPAL (KD, TK), pp. 875–878.
ICLP-1997-BruynoogheJK #analysis #logic programming: Live-Structure Analysis for Logic Programming Languages with Declarations (MB, GJ, AK), pp. 33–47.
CSCW-1996-CortesM #collaboration #named: DCWPL: A Programming Language for Describing Collaborative Work (MC, PM), pp. 21–29.
CIKM-1996-AndrewsLSS #database #implementation #on the: On Implementing SchemaLog — A Database Programming Language (AA, NS, LVSL, INS), pp. 309–316.
OOPSLA-1996-DurhamJ #framework #runtime #visual notation: A Framework for Run-Time Systems and its Visual Programming Language (AMD, REJ), pp. 406–420.
AdaEurope-1996-BurnsW #ada #concurrent #effectiveness: Ada 95: An Effective Concurrent Programming Language (AB, AJW), pp. 58–77.
PLILP-1996-Liu #database #deduction: The LOL Deductive Database Programming Language (ML), pp. 454–468.
SAC-1996-Jo #concurrent #empirical #object-oriented: An experiment on a concurrent object-oriented programming language (CHJ), pp. 98–104.
PDP-1996-LeungC #behaviour #concurrent #equation #inheritance #object-oriented: Behaviour Equation as Solution of Inheritance Anomaly in Concurrent Object-Oriented Programming Languages (BCLL, PPKC), pp. 360–366.
CSL-1996-EekelenSP #functional #graph grammar #semantics: Graph Rewriting Semantics for Functional Programming Languages (MCJDvE, SS, MJP), pp. 106–128.
SEKE-1995-Auguston #compilation: Programming language RIGAL as a compiler writing tool (MA), p. 500.
OOPSLA-1995-Malenfant #on the #semantics: On the Semantic Diversity of Delegation-Based Programming Languages (JM), pp. 215–230.
SAS-1995-KobayashiNY #communication #concurrent #static analysis: Static Analysis of Communication for Asynchronous Concurrent Programming Languages (NK, MN, AY), pp. 225–242.
SAC-1995-Scholz #concurrent #data type #functional: Turning a functional data type into a concurrent programming language (ES), pp. 135–139.
ICLP-1995-GregoryR #concurrent #declarative #named: Tempo: A Declarative Concurrent Programming Language (SG, RR), pp. 515–529.
ILPS-1995-TseWL #concurrent #logic programming #object-oriented #prolog: P&P: A Combined Parlog and Prolog Concurrent Object-Oriented Logic Programming Language (MlT, WhW, HfL), p. 640.
ILPS-1995-WinikoffH #implementation #linear #logic programming: Implementing the Linear Logic Programming Language Lygon (MW, JH), pp. 66–80.
VLDB-1994-PoulovassilisS #algebra #database #optimisation #query: Investigation of Algebraic Query Optimisation Techniques for Database Programming Languages (AP, CS), pp. 415–426.
OOPSLA-1994-LopezFB #constraints #imperative #implementation #virtual machine: Implementing Constraint Imperative Programming Languages: The Kaleidospace’93 Virtual Machine (GL, BNFB, AB), pp. 259–271.
LOPSTR-1994-BarklundBD #logic programming #multi: A Basis for a Multi-Level Meta-Logic Programming Language (JB, KB, PD), pp. 262–275.
TRI-Ada-1994-RybinK #ada: Ada-Based Programming Language Course in Moscow State University (SR, VSK), pp. 194–202.
CC-1994-FranzleM #code generation #realtime #towards: Towards Provably Correct Code Generation for a Hard Real-Time Programming Language (MF, MMO), pp. 294–308.
ICLP-1994-Guglielmi #concurrent #generative #logic programming: Concurrency and Plan Generation in a Logic Programming Language with a Sequential Operator (AG), pp. 240–254.
ILPS-1994-Brisset #logic programming #polymorphism #type checking: Avoiding Dynamic Type Checking in a Polymorphic Logic Programming Language (PB), p. 674.
ILPS-1994-Lloyd #functional #logic programming: Combining Functional and Logic Programming Languages (JWL), pp. 43–57.
VLDB-1993-HoskingBM #comparative #evaluation #performance #persistent: Update Logging for Persistent Programming Languages: A Comparative Performance Evaluation (ALH, EWB, JEBM), pp. 429–440.
DLT-1993-Vaida: Iteration Conditions of W. Ogden’s Type and Applications to Programming Languages (II) (DV), pp. 44–50.
ICALP-1993-KannegantiC #higher-order #question #what: What is a Universal Higher-Order Programming Language? (RK, RC), pp. 682–695.
FPCA-1993-HammarlundL #functional #on the #parallel: On the Relation between Functional and Data Parallel Programming Languages (PH, BL), pp. 210–222.
HCI-SHI-1993-BenaliaDM #parallel #visual notation: HelpDraw Graphical Environment: A Step Beyond Data Parallel Programming Languages (ADB, JLD, PM), pp. 591–596.
HCI-SHI-1993-ScholtzC #development: The Development of a Plan Based Tutor to Aid in Transfer between Programming Languages (JS, AC), pp. 519–524.
SEKE-1993-Cooke93a #multi #order: A High Level Programming Language Based Upon Ordered Multisets (DEC), pp. 117–124.
SEKE-1993-ReynoldsM #metric #process #refinement #using: The Use of Refinement Metrics to Assess Programming Language Support for the Stepwise Refinement Process (RGR, JIM), pp. 150–157.
OOPSLA-1993-HoskingM #evaluation #fault #performance #persistent: Object Fault Handling for Persistent Programming Languages: A Performance Evaluation (ALH, JEBM), pp. 288–303.
LOPSTR-1993-Gurr #logic programming #representation: Specialising the Ground Representation in the Logic Programming Language Gödel (CAG), pp. 124–140.
PLILP-1993-DarlingtonGK #functional #linear #logic #perspective: Functional Programming Languages with Logical Variables: A Linear Logic View (JD, YG, MK), pp. 201–219.
PLILP-1993-Poetzsch-Heffter #prototype #specification #using: Programming Language Specification and Prototyping Using the MAX System (APH), pp. 137–150.
POPL-1993-Bruce #object-oriented #static typing #type checking: Safe Type Checking in a Statically-Typed Object-Oriented Programming Language (KBB), pp. 285–298.
ICSE-1993-GarlanS: Adding Implicit Invocation to Rraditional Programming Languages (DG, CS), pp. 447–455.
SAC-1993-AlGhamdiU: Comparing and Assessing Programming Languages: Basis for a Qualitative Methodology (JA, JEU), pp. 222–229.
TAPSOFT-1993-AndreoliLPT #communication #concurrent #linear #logic programming #semantics: True Concurrency Semantics for a Linear Logic Programming Language with Braodcast Communication (JMA, LLT, RP, BT), pp. 182–198.
CSL-1993-GurevichH #c #semantics: ERRATA to “The Semantics of the C Programming Language” (YG, JKH), pp. 334–336.
SIGMOD-1992-LieuwenD #approach #database #optimisation: A Transformation-Based Approach to Optimizing Loops in Database Programming Languages (DFL, DJD), pp. 91–100.
ECOOP-1992-Frolund #concurrent #constraints #inheritance #object-oriented: Inheritance of Synchronization Constraints in Concurrent Object-Oriented Programming Languages (SF), pp. 185–196.
OOPSLA-1992-TakashioT #distributed #named #object-oriented #realtime: DROL: An Object-Oriented Programming Language for Distributed Real-Time Systems (KT, MT), pp. 276–294.
TOOLS-EUROPE-1992-Ege #object-oriented #overview: Overview of Object-Oriented Programming Languages (RKE), p. 427.
TOOLS-USA-1992-Ege92a #object-oriented: Object-Oriented Programming Languages (RKE), p. 260.
PLILP-1992-Hoa #bottom-up #higher-order #interpreter #logic programming: A Bottom-Up Interpreter for a Higher-Order Logic Programming Language (AHBH), pp. 326–340.
POPL-1992-NirkheP #imperative #partial evaluation #realtime: Partial Evaluation of High-Level Imperative Programming Languages, with Applications in Hard Real-Time Systems (VN, WP), pp. 269–280.
WSA-1992-AmatoGM #analysis #concurrent #database #functional #transaction: Analysis of Concurrent Transactions in a Functional Database Programming Language (GA, FG, GM), pp. 174–184.
IWMM-1992-BekkersRU #logic programming #memory management: Dynamic Memory Management for Sequential Logic Programming Languages (YB, OR, LU), pp. 82–102.
CSL-1992-GurevichH #c #semantics: The Semantics of the C Programming Language (YG, JKH), pp. 274–308.
JICSLP-1992-Hodas #dependence #logic programming #semiparsing #specification: Specifying Filler-Gap Dependency Parsers in a Linear-Logic Programming Language (JSH), pp. 622–636.
SIGMOD-1991-Annevelink #approach #database #functional: Database Programming Languages: A Functional Approach (JA), pp. 318–327.
SIGMOD-1991-ShyyS #database #knowledge base #named: K: A High-Level Knowledge Base Programming Language for Advanced Database Applications (YMS, SYWS), pp. 338–347.
VLDB-1991-Kent #database #object-oriented #problem: Solving Domain Mismatch and Schema Mismatch Problems with an Object-Oriented Database Programming Language (WK), pp. 147–160.
VDME-1991-McParlandK #specification: A Specification of a Complex Programming Language Statement (PM, PK), pp. 658–667.
ECOOP-1991-MugridgeHH #multi #static typing: Multi-Methods in a Statically-Typed Programming Language (WBM, JH, JGH), pp. 307–324.
OOPSLA-1991-HansonHR #case study #database #experience #implementation #object-oriented #persistent #tool support #using: Experiences in DBMS Implementation Using an Object-Oriented Persistent Programming Language and a Database Toolkit (ENH, TMH, MAR), pp. 314–328.
PEPM-1991-Smith #constraints #logic programming #partial evaluation #pattern matching: Partial Evaluation of Pattern Matching in Constraint Logic Programming Languages (DAS), pp. 62–71.
PLDI-1991-Goldberg #garbage collection: Tag-Free Garbage Collection for Strongly Typed Programming Languages (BG), pp. 165–176.
PLILP-1991-Aasa #implementation #specification: Precedences in Specifications and Implementations of Programming Languages (AA), pp. 183–194.
ESOP-J-1990-Felleisen91 #on the #power of: On the Expressive Power of Programming Languages (MF), pp. 35–75.
CAAP-1991-Breugel #comparative #integration #realtime #semantics: Comparative Semantics for a Real-Time Programming Language with Integration (FvB), pp. 397–411.
ICLP-1991-Bottcher #logic programming #on the #transaction: On Transactions in Logic Programming Languages (SB), p. 889.
ICLP-1991-ChabrierPL #constraints #logic programming: Applications of Constraints Logic Programming Languages (JJC, CP, BL), p. 944.
ICLP-1991-DovierOPR #finite #logic programming #set: {log}: A Logic Programming Language with Finite Sets (AD, EGO, EP, GR), pp. 111–124.
ICLP-1991-KorslootT #compilation #concurrent #logic programming: Compilation Techniques for Nondeterminate Flat Concurrent Logic Programming Languages (MK, ET), pp. 457–471.
VLDB-1990-AoshimaIMSY #database: The C-based Database Programming Language Jasmine/C (MA, YI, AM, FS, YY), pp. 539–551.
LFP-1990-GiorgiM #functional #implementation #parallel: Continuation-Based Parallel Implementation of Functional Programming Languages (JFG, DLM), pp. 209–217.
LFP-1990-WalinskyB #compilation #functional #parallel: A Functional Programming Language Compiler for Massively Parallel Computers (CW, DB), pp. 131–138.
SEKE-1990-BairdS #aspect-oriented: Theoretical Aspects of the Universal Programming Language Genotype (JCB, SKS), pp. 135–140.
PPoPP-1990-TickI #logic programming #parallel: Programming Techniques for Efficiently Exploiting Parallelism in Logic Programming Languages (ET, NI), pp. 31–39.
ESOP-1990-BarendregtH #λ-calculus: Types in λ Calculi and Programming Languages (HB, KH), pp. 1–35.
ESOP-1990-Felleisen #on the #power of: On the Expressive Power of Programming Languages (MF), pp. 134–151.
CADE-1990-FeltyM #encoding #logic programming #λ-calculus: Encoding a Dependent-Type Lambda-Calculus in a Logic Programming Language (APF, DM), pp. 221–235.
LICS-1990-DrosteG #formal method #semantics: Universal Domains in the Theory of Denotational Semantics of Programming Languages (MD, RG), pp. 19–34.
NACLP-1990-CoxMT #complexity #constraints #logic programming: Computational Complexity and Constraint Logic Programming Languages (JC, KM, CT), pp. 401–415.
NACLP-1990-JacquetM #comparative #logic programming #parallel #semantics: Comparative Semantics for a Parallel Contextual Logic Programming Language (JMJ, LM), pp. 195–214.
VLDB-1989-LecluseR #database: The O2 Database Programming Language (CL, PR), pp. 411–422.
CHI-1989-Olsen #user interface: A programming language basis for user interface (DROJ), pp. 171–176.
PLDI-1989-ChambersU #compilation #dynamic typing #named #object-oriented #optimisation: Customization: Optimizing Compiler Technology for SELF, A Dynamically-Typed Object-Oriented Programming Language (CC, DU), pp. 146–160.
PLDI-1989-SalomonC #parsing: Scannerless NSLR(1) Parsing of Programming Languages (DJS, GVC), pp. 170–178.
Best-of-PLDI-1989-ChambersU89a #compilation #dynamic typing #object-oriented #optimisation: A retrospective on: “customization: optimizing compiler technology for self, a dynamically-typed object-oriented programming language” (with retrospective) (CC, DU), pp. 295–312.
AS-1989-Hoare: The Varieties of Programming Language (CARH), pp. 1–18.
NACLP-1989-MaherS #constraints #logic programming #query: Expanding Query Power in Constraint Logic Programming Languages (MJM, PJS), pp. 20–36.
PODS-1988-Kuper #logic programming #on the #power of #set: On the Expressive Power of Logic Programming Languages with Sets (GMK), pp. 10–14.
LFP-1988-Lamping: A Unified System of Parameterization for Programming Languages (JL), pp. 316–326.
LFP-1988-OhoriB #database #type inference: Type Inference in a Database Programming Language (AO, PB), pp. 174–183.
ECOOP-1988-KnudsenM #education #object-oriented: Teaching Object-Oriented Programming Is More than Teaching Object-Oriented Programming Languages (JLK, OLM), pp. 21–40.
ECOOP-1988-LaenensV #database #object-oriented #overview: An Overview of OOPS+, An Object-Oriented Database Programming Language (EL, DV), pp. 350–373.
ALP-1988-Giovannetti: Narrowing and Resolution in Logic-Functional programming Languages (EG), p. 30.
ALP-1988-Moreno-NavarroR #functional #logic programming #named: BABEL: A Functional and Logic Programming Language based on Constructor Discipline and Narrowing (JJMN, MRA), pp. 223–232.
PLDI-1988-PlebanL #automation #compilation #imperative: An Automatically Generated, Realistic Compiler for an Imperative Programming Language (UFP, PL), pp. 222–232.
ESOP-1988-BertDEDDSW #functional #logic #named: LPG: A Generic, Logic and Functional Programming Language (DB, PD, RE, OD, DD, PYS, FW), pp. 376–377.
ESOP-1988-Kaes #parametricity #polymorphism: Parametric Overloading in Polymorphic Programming Languages (SK), pp. 131–144.
ESOP-1988-WeemeeuwBH #architecture #data flow #implementation #logic programming #on the: On Implementing Logic Programming Languages on a Dataflow Architecture (PW, MB, MDH), pp. 359–372.
CADE-1988-FeltyGHMNS #logic programming #named #prolog #λ-calculus: Lambda-Prolog: An Extended Logic Programming Language (APF, ELG, JH, DM, GN, AS), pp. 754–755.
CADE-1988-FeltyM #higher-order #logic programming #proving #specification #theorem proving: Specifying Theorem Provers in a Higher-Order Logic Programming Language (APF, DM), pp. 61–80.
OOPSLA-1987-BloomZ #database #design #object-oriented: Issues in the Design of Object-Oriented Database Programming Languages (TB, SBZ), pp. 441–451.
PLDI-1987-DavidsonG #c #interpreter #named: Cint: a RISC interpreter for the C programming language (JWD, JVG), pp. 189–198.
PLDI-1987-OBagyG #interpreter #recursion: A recursive interpreter for the Icon programming language (JO, REG), pp. 138–149.
POPL-1987-CheritonW #multi: Extensions for Multi-Module Records in Conventional Programming Languages (DRC, MEW), pp. 296–306.
POPL-1987-Saraswat #concurrent #logic programming #semantics: The Concurrent Logic Programming Language CP: Definition and Operational Semantics (VAS), pp. 49–62.
ASPLOS-1987-DitzelM #c #design #trade-off: Design Tradeoffs to Support the C Programming Language in the CRISP Microprocessor (DRD, HRM), pp. 158–163.
ASPLOS-1987-HayesFWZ #architecture #execution: An Architecture for the Direct Execution of the Forth Programming Language (JRH, MEF, RLW, TZ), pp. 42–49.
ASPLOS-1987-Wirth #architecture #hardware: Hardware Architectures for Programming Languages and Programming Languages for Hardware Architectures (NW), pp. 2–8.
CFLP-1987-Thomas #algebra #data type #imperative #implementation: Implementing Algebraically Specified Abstract Data Types in an Imperative Programming Language (MT), pp. 197–211.
CSL-1987-Leiss #object-oriented #on the #type inference: On Type Inference for Object-Oriented Programming Languages (HL), pp. 151–172.
ICLP-1987-Ebcioglu87 #logic programming #music #performance: An Efficient Logic Programming Language and Its Application to Music (KE), pp. 513–532.
ICLP-1987-OhkiTF87 #logic programming #object-oriented #parallel: An Object-Oriented Programming Language Based on the Parallel Logic Programming Language KL1 (MO, AT, KF), pp. 894–909.
SIGMOD-1986-BunemanA #database #inheritance #persistent: Inheritance and Persistence in Database Programming Languages (PB, MPA), pp. 4–15.
LFP-1986-Thatte #equation #semantics #towards: Towards a Semantic Theory for Equational Programming Languages (SRT), pp. 332–342.
OOPSLA-1986-KahnTMB #concurrent #logic programming: Objects in Concurrent Logic Programming Languages (KMK, EDT, MSM, DGB), pp. 242–257.
OOPSLA-1986-Snyder #encapsulation #inheritance #object-oriented: Encapsulation and Inheritance in Object-Oriented Programming Languages (AS), pp. 38–45.
CRAI-1986-AstesianoR #approach #semantics #tutorial: The SMoLCS Approach to the Formal Semantics of Programming Languages — A Tutorial Introduction (EA, GR), pp. 81–116.
ESOP-1986-BertE #design #functional #implementation #logic: Design and Implementation of a Generic, Logic and Functional Programming Language (DB, RE), pp. 119–132.
ESOP-1986-DahlhausM: The Choice of Programming Primitives for SETL-Like Programming Languages (ED, JAM), pp. 160–172.
ICLP-1986-Beckman86 #concurrent #logic programming #semantics #towards: Towards a Formal Semantics for Concurrent Logic Programming Languages (LB), pp. 335–349.
ICLP-1986-FujitaKTM86 #compilation #logic programming #named #prolog: Tokio: Logic Programming Language Based on Temporal Logic and its Compilation to Prolog (MF, SK, HT, TMO), pp. 695–709.
ICLP-1986-TakeuchiF86 #logic programming #parallel: Parallel Logic Programming Languages (AT, KF), pp. 242–254.
SLP-1986-BekkersCRU86 #garbage collection #implementation #logic programming #memory management #named #realtime: MALI: A Memory with a Real-time Garbage Collector for Implementing Logic Programming Languages (YB, BC, OR, LU), pp. 258–264.
CAAP-1985-PoigneV #data type #implementation #on the: On the Implementation of Abstract Data Types by Programming Language Constructs (AP, JV), pp. 388–402.
SLP-1985-Fribourg85 #interpreter #logic programming #named: SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting (LF), pp. 172–184.
ICALP-1984-Fribourg #equation: Oriented Equational Clauses as a Programming Language (LF), pp. 162–173.
LFP-1984-Griswold #evaluation: Expression Evaluation in the ICON Programming Language (REG), pp. 177–183.
LFP-1984-Katayama #approach #functional #type checking #type inference: Type Inference and Type Checking for Functional Programming Languages: A Reduced Computation Approach (TK), pp. 263–272.
LFP-1984-MalachiMW #named: TABLOG: The Deductive-Tableau Programming Language (YM, ZM, RJW), pp. 323–330.
POPL-1984-Bandes: Constraining-Unification and the Programming Language Unicorn (RGB), pp. 106–110.
ILPC-1984-Miklos84 #case study #comparison #logic programming: A Comparison of two Logic Programming Languages: A Case Study (MS), pp. 41–51.
SLP-1984-Tamaki84 #logic programming #semantics: Semantics of a Logic Programming Language with a Reducibility Predicate (HT), pp. 259–264.
POPL-1983-KristensenMMN #abstraction: Abstraction Mechanisms in the BETA Programming Language (BBK, OLM, BMP, KN), pp. 285–298.
ICALP-1982-BerklingF #functional #λ-calculus: A Modification of the λ-Calculus as a Base for Functional Programming Languages (KJB, EF), pp. 35–47.
ICALP-1982-HarelK #induction #set: A Programming Language for the Inductive Sets, and Applications (DH, DK), pp. 313–329.
LFP-1982-EggertS #logic programming: Logic Enhancement: A Metho for Extending Logic Programming Languages (PRE, DVS), pp. 74–80.
POPL-1982-Voda #named #operating system: Maple: a Programming Language, Operating System (PJV), pp. 157–168.
ILPC-1982-MaluszynskiN82 #comparison #logic programming #prolog: A Comparison of the Logic Programming Language Prolog with Two-levels Grammars (JM, JFN), pp. 193–199.
POPL-1981-HalpernM #axiom: Axiomatic Definitions of Programming Languages, II (JYH, ARM), pp. 139–148.
STOC-1981-Leivant #complexity #independence #parametricity #polymorphism #theorem: The Complexity of Parameter Passing in Polymorphic Procedures (or: Programming Language Theorems Independent of Very Strong Theories) (DL), pp. 38–45.
SIGMOD-1980-HammerB #data-driven #named: DIAL: A Programming Language for Data Intensive Applications (MH, BB), pp. 75–92.
ICALP-1980-LangmaackO #hoare: Present-Day Hoare-Like Systems for Programming Languages with Procedures: Power, Limits and most Likely Expressions (HL, ERO), pp. 363–373.
POPL-1980-Klint #overview: An Overview of the Summer Programming Language (PK), pp. 47–55.
POPL-1980-MeyerH #assessment #axiom: Axiomatic Definitions of Programming Languages: A Theoretical Assessment (ARM, JYH), pp. 203–212.
POPL-1980-Sethi #case study #semantics #specification: A Case Study in Specifying the Semantics of a Programming Language (RS), pp. 117–130.
POPL-1979-GreifM #semantics #specification: Specifying Programming Language Semantics (IG, ARM), pp. 180–189.
STOC-1979-ODonnell #independence #theorem: A Programming Language Theorem Which Is Independent of Peano Arithmetic (MO), pp. 176–188.
VLDB-1978-Atkinson #database: Programming Languages and Databases (MPA), pp. 408–419.
VDM-1978-Lucas #formal method #on the: On the Formalization of Programming Languages: Early History and Main Approaches (PL), pp. 1–23.
GG-1978-Pratt #graph #semantics #using: Definition of Programming Language Semantics Using Grammars for Hierarchical Graphs (TWP), pp. 389–400.
POPL-1978-JoshiLY #constraints #semantics #syntax: Local Constraints in the Syntax and Semantics of Programming Languages (AKJ, LSL, KY), pp. 255–264.
VLDB-1977-StonebrakerR: Observations on Data Manipulation Languages and Their Embedding in General Purpose Programming Languages (MS, LAR), pp. 128–143.
POPL-1977-CherniavskyK #consistency #hoare #semantics: A Complete and Consistent Hoare Semantics for a Simple Programming Language (JCC, SNK), pp. 1–9.
POPL-1977-Clarke #axiom #hoare: Programming Language Constructs for Which it is Impossible to Obtain “Good” Hoare-Like Axiom Systems (EMC), pp. 10–20.
DIPL-1976-Cheatham #design: Programming language design issues (TECJ), pp. 399–435.
DIPL-1976-Fisher: The Common Programming Language Effort of the Department of Defense (DF), pp. 1–6.
POPL-1976-JonesM #design #optimisation #towards: Binding Time Optimization in Programming Languages: Some Thoughts Toward the Design of an Ideal Language (NDJ, SSM), pp. 77–94.
ICSE-1976-Feldman #case study: New Languages from Old: The Extension of Programming Languages by Embedding, with a Case Study (MBF), pp. 237–242.
ICSE-1976-Mashey #using: Using a Command Language as a High-Level Programming Language (JRM), pp. 169–176.
POPL-1975-Naur #natural language: Programming Languages, Natural Languages, and Mathematics (PN), pp. 137–148.
STOC-1975-EgliC #concept #semantics: Computability Concepts for Programming Language Semantics (HE, RLC), pp. 98–106.
POPL-1973-Backus #semantics: Programming Language Semantics and Closed Applicative Languages (JWB), pp. 71–86.
STOC-1973-Vuillemin #implementation #recursion: Correct and Optimal Implementations of Recursion in a Simple Programming Language (JV), pp. 224–239.
STOC-1973-Wagner #algebra: From Algebras to Programming Languages (EGW), pp. 214–223.
ICALP-1972-AguzziPS #algorithm #approach #semantics: An Algorithmic Approach to the Semantics of Programming Languages (GA, RP, RS), pp. 147–166.
STOC-1972-Hamlet #independence #problem: A Patent Problem for Abstract Programming Languages: Machine-Independent Computations (RGH), pp. 193–197.
STOC-1969-Blum69a #compilation #formal method #semantics #towards: Towards a Theory of Semantics and Compilers for Programming Languages (EKB), pp. 217–227.
STOC-1969-Zeiger #formal method #modelling: Formal Models for Some Features of Programming Languages (HPZ), pp. 211–215.
DAC-1967-Weindlin #automation #design #question: Is there a “Best” Programming Language For Design Automation? (MW).